Section: New Results

Modular Systems for Classical and Intuitionistic Logic

Participants : Sonia Marin, Lutz Straßburger.

Last year we have shown deductive systems for all intuitionistic modal logics in the modal S5-cube using logical rules in nested sequents  [75] . This year we managed to exhibit fully modular systems. That is to say that there is a bijective correspondence between the modal axioms and the inference rules in the deductive system. This is achieved by using a combination of structural and logical rules. This result has been presented at AiML 2014 [24] .